منابع مشابه
Achieving Practical Genericity in Model Weaving through Extensibility
Many tasks in Model-Driven Engineering (MDE) involve cross-cutting model modifications that are bound to certain conditions. These transformation tasks may affect numerous model elements and appear in different forms, such as refactoring, model completions or aspectoriented model weaving. Although the operations at the heart of these tasks are domain-independent, generic solutions that can easi...
متن کاملDeveloping a Model for Estimating Weaving and Non-Weaving Speed within Highways Weaving Segments (Tehran)
In weaving section due to a strong need for lane changing, a type of turbulence is created in traffic flow; so, the speedand the capacity of the weaving section decreases. Therefore, investigation of the weaving section is very important.However, due to shortage of the manual for urban principal arterials (highways), calibration of these models is necessary.One of these models...
متن کاملFrom Weaving Schemes to Weaving Patterns ∗
Coming out from the process functional paradigm and using PFL – a process functional language, a generalized approach to weaving at the micro-structural level is presented. Exploiting the application of processes and PFL reflection property, we develop a generalized weaving scheme and we express it in the form of weaving pattern. Different specializations and extensions of weaving patterns occu...
متن کاملProof Weaving
Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of the proof. Yet incremental development is really the most natural approach for proofs of programming language properties [5, 12]. We propose " proof weaving " , a technique that allows a proof devel...
متن کاملAA Weaving
A novel algorithmic method for weaving design is presented, inspired by the recently discovered AA Fractals. The method is capable of producing a weaving pattern from any binary sequence or pair of sequences. All generated patterns can be woven in the simplest (4-shaft) dobby looms. An algorithm for generating input binary sequences is also presented, and the sequences produced by this algorith...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sen'i Kikai Gakkaishi (Journal of the Textile Machinery Society of Japan)
سال: 1986
ISSN: 0371-0580,1880-1994
DOI: 10.4188/transjtmsj.39.3_p130